Constructible function - PDFSEARCH.IO - Document Search Engine

Constructible function
Results: 268

#	Item
121	Heylighen F[removed]): "A Structural Language for the Foundations of Physics", International Journal of General Systems 18, p[removed]A Structural Language for the Foundations of Physics FRANCIS HEYLIGHEN Add to Reading List Source URL: pespmc1.vub.ac.be Language: English - Date: 2014-05-02 12:27:43 Constructible universe Ordinal number Quantum logic Dimensionless physical constant Function Abstraction Net Predicate Ordinal arithmetic Mathematics Mathematical logic Logic
122	Heylighen F[removed]): "A Structural Language for the Foundations of Physics", International Journal of General Systems 18, p[removed]A Structural Language for the Foundations of Physics FRANCIS HEYLIGHEN Add to Reading List Source URL: pespmc1.vub.ac.be Language: English - Date: 2014-05-02 12:27:43 Constructible universe Ordinal number Quantum logic Dimensionless physical constant Function Abstraction Net Predicate Ordinal arithmetic Mathematics Mathematical logic Logic
123	Parts, Counterparts, and Modal Occurrents Achille C. Varzi Department of Philosophy, Columbia University, New York (Published in Travaux de logique14 (2001), 151–171) Abstract. The paper investigates the link between t Add to Reading List Source URL: www.columbia.edu Language: English - Date: 2001-11-14 23:21:37 Modal logic Predicate logic Philosophical logic Counterpart theory Mereology Temporal parts Function Constructible universe Possible world Mathematical logic Logic Mathematics
124	Compact Representation for Answer Sets of n-ary Regular Queries by Add to Reading List Source URL: www.kmonos.net Language: English - Date: 2009-07-14 21:35:59 Model theory Functions and mappings Computability theory Structure FO Constructible universe Function Arity Linear temporal logic Mathematics Mathematical logic Universal algebra
125	This sentence does not contain the symbol X Samuel A. Alexander∗ Department of Mathematics, the Ohio State University To appear in The Reasoner. In order to formalize the Liar’s Paradox, one approach is as follows. W Add to Reading List Source URL: www.semitrivial.com Language: English - Date: 2013-06-28 11:56:13 Diagonal lemma Peano axioms Function Well-formed formula Symbol Constructible universe Non-standard model of arithmetic Interpretation Mathematics Logic Mathematical logic
126	SOME AXIOMS FOR CONSTRUCTIVE ANALYSIS JOAN RAND MOSCHOVAKIS AND GARYFALLIA VAFEIADOU Abstract. This note explores the common core of constructive, intuitionistic, recursive and classical analysis from an axiomatic standp Add to Reading List Source URL: www.math.ucla.edu Language: English - Date: 2011-06-07 15:01:39 Functions and mappings Computability theory Intuitionism Mathematical constructivism Logic in computer science Constructible universe Constructivism First-order logic Primitive recursive function Mathematical logic Mathematics Logic
127	Structured Determinantal Point Processes Alex Kulesza Ben Taskar Department of Computer and Information Science University of Pennsylvania Philadelphia, PA 19104 Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2013-04-28 17:51:55 Formal languages Constructible universe Normal distribution Interpretation Eigenvalues and eigenvectors Function Determinantal point process Static single assignment form Mathematics Algebra Model theory
128	A Hierarchy of Maps Between Compacta arXiv:math/9704205v1 [math.LO] 9 Apr 1997 Paul Bankston Department of Mathematics, Statistics and Computer Science Add to Reading List Source URL: arxiv.org Language: English - Date: 2008-01-31 21:01:55 Mathematical analysis Calculus Continuous function Constructible universe Ordinal number Symbol Coherent topology Ultraproduct Adjoint functors Mathematics General topology Mathematical logic
129	Tracking Deformable Motion Add to Reading List Source URL: ibug.doc.ic.ac.uk Language: English - Date: 2010-11-25 10:09:19 Image processing Template matching Imaging Particle filter Net Object recognition Constructible universe Function Video tracking Mathematics Computer vision Vision
130	Logical Omniscience and the Cost of Deliberation Natasha Alechina and Brian Logan School of Computer Science and IT, University of Nottingham, Nottingham NG8 1BB, UK, Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2001-10-23 13:46:17 Mathematical logic Metalogic Formal languages Entailment Well-formed formula Modal logic Function Constructible universe Model theory Logic Logical syntax Propositional calculus

UPDATE